Nuprl Definition : seq-count
11,40
postcript
pdf
#{i<
j
|
f
i
eq
x
} ==
size(
j
;(
eq
(
x
)) o
f
)
latex
Definitions
size(
k
;
f
)
,
f
o
g
,
f
(
a
)
FDL editor aliases
seq-count
origin
size(j;(eq(x)) o f) size(j;(eq(x)) o f) size(k;f)